-
1 modal operator
Большой англо-русский и русско-английский словарь > modal operator
-
2 modal operator
Математика: модальный оператор -
3 modal operator
-
4 modal operator
The New English-Russian Dictionary of Radio-electronics > modal operator
-
5 modal operator
мат. -
6 operator
1) диспетчер2) владелец ( оборудования)3) машинист4) оператор машины или системы6) матем. оператор- almost periodic operator - amateur radio operator - asymptotically polylinear operator - bounded below operator - completely invertible operator - double stochastic operator - formally hypoelliptic operator - formally self-adjoint operator - formally symmetric operator - internal operator - isotonic operator - left shift operator - locally algebraic operator - locally measurable operator - negative semidefinite operator - normally resolvable operator - partial recursive operator - partially hypoelliptic operator - partially isometric operator - positive definite operator - positive semidefinite operator - properly orthogonal operator - relatively degenerate operator - relatively invertible operator - relatively regular operator - selective operator - skew adjoint operator - skew self-adjoint operator - uniformly strongly elliptic operator - weakly separable operator -
7 operator
= op1) оператора) операция; знак или символ операцииб) задающее функционально законченное действие предложение языка программированияв) специалист, осуществляющий оперативное управление и контроль за работой прибора, устройства или системы (например, компьютера)г) участок ДНК, регулирующий транскрипцию2) специалист, обеспечивающий установление соединений или передачу сообщений ( в системах связи); телефонист; телеграфист; радиооператор, радист; связист3) управляющий; технический директор•- adjoint operator
- aggregate operator
- annihilation operator
- antisymmetry operator
- arithmetic operator
- assertion operator
- assignment operator
- audio operator
- averaging operator
- binary operator
- bitwise operator
- Boolean operator
- Bose operator
- channel operator
- comparison operator
- complementary operator
- computer operator
- console operator
- creation operator
- data entry operator
- delete operator
- direction-finder operator
- duty operator
- embedding operator
- energy operator
- exchange operator
- Fermi operator
- gradient operator
- Hadamard matrix operator
- Hamilton operator
- Hermitian operator
- infix operator
- integral operator
- lag operator
- Laplace operator
- linear operator
- logic operator
- machine operator
- miniphase operator
- modal operator
- monadic operator
- peripheral equipment operator
- pipe operator
- postfix operator
- prediction operator
- prefix operator
- quasi-particle operator
- radar operator
- radio operator
- random variation operator
- relational operator
- resolvent operator
- self-adjoint operator
- single-parent operator
- sonar operator
- space symmetry operator
- space-time symmetry operator
- spin operator
- spurless operator
- symmetry operator
- template matching operator
- tensor operator
- traceless operator
- transfer operator
- transformation operator
- translation operator
- truncation operator
- two-parent operator
- unary operator
- unitary operator
- unity operator
- variance operator
- vector operator
- wireless operator
- word processing operator -
8 operator
1) оператора) операция; знак или символ операцииб) задающее функционально законченное действие предложение языка программированияв) специалист, осуществляющий оперативное управление и контроль за работой прибора, устройства или системы (например, компьютера)г) участок ДНК, регулирующий транскрипцию2) специалист, обеспечивающий установление соединений или передачу сообщений ( в системах связи); телефонист; телеграфист; радиооператор, радист; связист3) управляющий; технический директор•- adjoint operator
- aggregate operator
- annihilation operator
- antisymmetry operator
- arithmetic operator
- assertion operator
- assignment operator
- audio operator
- averaging operator
- binary operator
- bitwise operator
- Boolean operator
- Bose operator
- channel operator
- comparison operator
- complementary operator
- computer operator
- console operator
- creation operator
- data entry operator
- delete operator
- direction-finder operator
- duty operator
- embedding operator
- energy operator
- exchange operator
- Fermi operator
- gradient operator
- Hadamard matrix operator
- Hamilton operator
- Hermitian operator
- infix operator
- integral operator
- lag operator
- Laplace operator
- linear operator
- logic operator
- machine operator
- miniphase operator
- modal operator
- monadic operator
- peripheral equipment operator
- pipe operator
- postfix operator
- prediction operator
- prefix operator
- quasi-particle operator
- radar operator
- radio operator
- random variation operator
- relational operator
- resolvent operator
- self-adjoint operator
- single-parent operator
- sonar operator
- space symmetry operator
- space-time symmetry operator
- spin operator
- spurless operator
- symmetry operator
- template matching operator
- tensor operator
- traceless operator
- transfer operator
- transformation operator
- translation operator
- truncation operator
- two-parent operator
- unary operator
- unitary operator
- unity operator
- variance operator
- vector operator
- wireless operator
- word processing operatorThe New English-Russian Dictionary of Radio-electronics > operator
-
9 модальный оператор
Большой англо-русский и русско-английский словарь > модальный оператор
-
10 calculus
-
11 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
12 time
1) время || измерять [определять\] время; отмечать время; хронометрировать2) период [интервал\] времени4) срок; длительность, продолжительность5) темп; такт6) хронировать; синхронизировать; осуществлять привязку по времени7) регулировать взаимное положение фаз периодических процессов•time on — время включения; продолжительность пребывания во включенном состоянии;time to failure — наработка на отказ;time to repair — 1. наработка до ремонта 2. время ремонта-
absolute time
-
acceleration time
-
acceptance time
-
access time
-
acquisition time
-
action time
-
active repair time
-
actual airborne time
-
actual time
-
actuation time
-
addition time
-
add time
-
addressing time
-
administrative time
-
advance time
-
ageing time
-
aging time
-
air cutting time
-
air time
-
alignment time
-
annealing time
-
apparent time
-
arcing time
-
arc time
-
arrestment time
-
arrival time
-
assembly time
-
astronomical time
-
atomic time
-
attack time
-
attenuation time
-
average time
-
averaging time
-
backup time
-
baking time
-
base transit time
-
basin lag time
-
batch-free time
-
block-to-block time
-
blowing time
-
braking time
-
break contact release time
-
bridging time
-
bubble penetration time
-
bubble waiting time
-
build up time
-
burning time
-
burn-off time
-
burst time
-
caging time
-
calendar time
-
capture time
-
carbonizing time
-
carrier transit time
-
cell production time
-
chambering time
-
changeover time
-
characteristic time
-
charge time
-
check-in time
-
chill time
-
chock-to-chock time
-
civil time
-
clear time
-
clearing time
-
clipping time
-
closing time
-
compilation time
-
computer time
-
conditioning time
-
contact time
-
continuous recording time
-
continuous time
-
conversion time
-
cooking time
-
cool time
-
critical time
-
cumulative cutting time
-
cumulative operating time
-
cure time
-
current impulse time
-
current time
-
current-rise time
-
cutoff time
-
cutting time
-
cutting-in time
-
cycle time
-
damping time
-
data-hold time
-
daylight saving time
-
dead time
-
debatable time
-
debugging time
-
debug time
-
decay time
-
deceleration time
-
definite minimum inverse operating time
-
definite operating time
-
deionization time
-
delay time
-
departure time
-
detention time
-
development time
-
discharge time
-
disconnection time
-
discrete time
-
divide time
-
door-to-door time
-
down time
-
drift-transit time
-
drift time
-
drive time
-
dropout time
-
dust-free time
-
dwelling time
-
dwell time
-
early finish time
-
early start time
-
effective time
-
elapsed time
-
emptying time
-
engine ground test time
-
engine operating time
-
engine run-in time
-
engineering time
-
entry time
-
ephemeris time
-
erase time
-
error-free running time
-
estimated elapsed time
-
estimated time of checkpoint
-
execution time
-
exposure time
-
extinction time
-
fall time
-
fast time
-
fault clearing time
-
fault time
-
fetch time
-
firing time
-
first copy-out time
-
flash-off time
-
flight block time
-
flight dual instruction time
-
flight duty time
-
flight time
-
flooding time
-
floor-to-floor time
-
flotation time
-
flushing time
-
flyover time
-
forepumping time
-
forge time
-
freezing time
-
fuel-doubling time
-
fueling time
-
fuel-residence time
-
full operating time
-
fusing time
-
gate-controlled delay time
-
gate-controlled rise time
-
gate-controlled turn-on time
-
gate-controlled-turn-off time
-
gating time
-
generation time
-
Greenwich mean time
-
gross-coking time
-
ground operating time
-
group delay time
-
guard time
-
gyro erection time
-
handling time
-
heat time
-
high-water time
-
holding time
-
hold time
-
hold-off time
-
idle running time
-
idle time
-
ignition time
-
impulse front time
-
impulse tail time
-
incidental time
-
ineffective time
-
initial setting time
-
in-pile time
-
installation time
-
instruction time
-
instrument flight time
-
interaction time
-
interarrival time
-
interpulse time
-
interrupting time
-
intrinsic time
-
ionization time
-
keeping time
-
lag time of flow
-
lag time
-
landing gear extension time
-
latency time
-
lead time
-
leading-edge time
-
life time
-
local time
-
lockage time
-
locking time
-
low-water time
-
machine time
-
maintenance time
-
make contact operating time
-
make contact release time
-
make time
-
make-break time
-
manipulation time
-
Markov's time
-
Markov time
-
maximum permissible short-circuit clearing time
-
mean time between failures
-
mean time between power failures
-
melting time
-
mill delay time
-
mill pacing time
-
mixing time
-
modal transit time
-
monolayer time
-
moving time
-
multiplication time
-
near-real time
-
Newtonian time
-
no-load running time
-
nonreal time
-
normally-closed contact release time
-
nuclear time
-
nucleation time
-
object time
-
observation time
-
off time
-
off-stream time
-
on time
-
on-stream time
-
opening time
-
operating time
-
operator's time
-
optimized contact time
-
orbit phasing time
-
outage time
-
output voltage setup time
-
overall cycle time
-
paralysis time
-
partial operating time
-
particle residence time
-
peak-load time
-
periodic time
-
pickup time
-
plasma time
-
playing time
-
poison override time
-
predetermined time
-
preroll time
-
preset time
-
press down time
-
pressure resistance time
-
prestrike time
-
production pitch time
-
productive time
-
program fetch time
-
program testing time
-
propagation delay time
-
propagation time
-
proper time
-
pulling-out time
-
pull-out time
-
pull-in time
-
pull-up time
-
pulse fall time
-
pulse rise time
-
pulse time
-
ramp time
-
reaction time
-
read time
-
readiness time
-
reading readout time
-
reading time
-
real time
-
recession time
-
reclosing dead time
-
reclosing time
-
recovery time
-
reference time
-
release time
-
remaining life time
-
repair time
-
reset time
-
residence time
-
response time
-
restoration time
-
retention time
-
retrace time
-
retrieval time
-
reverberation time
-
reversal time
-
rewind time
-
rig time
-
rig total operating time
-
rig-down time
-
rig-up time
-
rise time
-
rolling time
-
roughing time
-
round-trip time
-
route-setting time
-
run time
-
run-down time
-
running time
-
running-down time
-
running-in time
-
run-up time
-
scheduled departure time
-
screen time
-
search time
-
seed-free time
-
seek time
-
selection time
-
self-extinction time
-
service time
-
serviceable time
-
servicing time
-
set time
-
setting time
-
settling time
-
setup time
-
shelf time
-
shipping time
-
ship time
-
shot time
-
sidereal time
-
signal modulation time
-
signal transit time
-
simulated time
-
sludging time
-
snubbing time
-
soaking time
-
solar time
-
sowing time
-
specified time
-
spending time
-
spray-on time
-
stabilization time
-
standard time
-
standing time
-
starting time
-
start time
-
station time
-
stay-down time
-
stock-descent time
-
stop time
-
stopping time
-
storage time
-
subtraction time
-
subtract time
-
succession time
-
summer time
-
sweep time
-
switchgear operating time
-
switching time
-
switchover time
-
tack-free time
-
takedown time
-
tap-to-tap time
-
task time
-
thermal death time
-
throughput time
-
time of arrival
-
time of coincidence
-
time of delivery
-
time of fall
-
time of flight
-
time of persistence
-
time of swing
-
tool-in-cut time
-
track time
-
traffic release time
-
trailing-edge time
-
trailing time
-
transfer time
-
transient time
-
transit time
-
transition time
-
translating time
-
transmission time
-
traveling time
-
travel time
-
trigger time
-
trip time
-
troubleshooting time
-
true time
-
turnaround time
-
turn-off time
-
turn-on time
-
turnover time
-
turnround time
-
unit time
-
universal time
-
up time
-
useful time
-
vehicle-off-the-road time
-
viewing time
-
waiting time
-
wait time
-
waiting-on-cement time
-
warm-up time
-
wavefront time
-
wavetail time
-
write time
-
Zebra time
-
zero time
-
zonal time
-
Zulu time -
13 group
1) группа, ансамбль || групповой- roughing mill group2) совокупность; комплект3) группировка || группировать(ся)5) класс; категория || классифицировать; категоризировать6) хим. остаток7) сгусток; скопление8) узел9) матем. группа- absolute free group - absolute homotopy group - absolutely irreducible group - absolutely simple group - additively written group - adele group - adelic group - algebraically compact group - algebraically simple group - almost connected group - almost cyclic group - almost ordered group - almost periodic group - almost simple group - alternating form group - cancellative group - cellular homology group - characteristically simple group - complementing group - completely anisotropic group - completely discontinuous group - completely divisible group - completely indecomposable group - completely integrally closed group - deficient group - direct homology group - direct indecomposable group - doubly transitive group - finitely defined group - finitely generated group - finitely presented group - finitely related group - first homology group - first homotopy group - freely generated group - full linear group - full orthogonal group - full rotation group - full symmetric group - full unimodular group - group of classes of algebras - group of covering transformations - group of finite rank - group of infinite order - group of infinite rank - group of inner automorphisms - group of linear equivalence - group of linear forms - group of linear manifold - group of principal ideles - group of real line - group of recursive permutations - group of right quotients - idele class group - linearly ordered group - linearly transitive group - locally bicompact group - locally closed group - locally compact group - locally connected group - locally cyclic group - locally defined group - locally embeddable group - locally finite group - locally free group - locally infinite group - locally nilpotent group - locally normal group - locally solvable group - multiply primitive group - multiply transitive group - nonsolvable group - n-th homotopy group - ordered pair group - principal congruence group - properly orthogonal group - properly unimodular group - pure projective group - pure rotation group - pure simple group - quasipure projective group - quotient divisible group - residually nilpotent group - restricted holonomy group - sharply transitive group - simply ordered group - simply reducible group - simply transitive group - singular cogomology group - singular homology group - solvable group - stable group - strictly transitive group - strongly polycyclic group - subsolvable group - supersolvable group - totally ordered group - totally projective group - totally reducible group - triply transitive group - unitary symmetry group - unitary transformation group - value group - weak homology group - weakly mixing groupgroup with multiple operators — группа с многоместными операторами, мультиоператорная группа
-
14 matrix
1) мат. матрица || матричный2) форма, шаблон4) растр5) решётка6) таблица7) геол. материнская порода, основная масса ( породы)8) основа кристаллического вещества; кристаллическая решётка•- absolutely equivalent matrices - adjoint matrices - almost perfect matrix - almost periodic matrix - almost superdiagonal matrix - associative matrix - birth-death coefficient matrix - cocycle matrix - commutative matrix - commute matrices - commuting matrix - complex conjugate matrix - compound matrix - conjunctive matrices - consistently ordered matrix - constituent matrices - deficient matrix - doubly degenerated matrix - doubly stochastic matrix - encoding matrix - essentially positive matrix - magnetic core matrix - matrix of linear transformation - multiplicatively cogredient matrix - multiply degenerate matrix - mutually consistent matrices - nearly triangular matrix - negatively semidefinite matrix - nonnegatively semidefinite matrix - orthogonally similar matrices - positively definite matrix - positively semidefinite matrix - regularly partitioned matrix - strictly upper triangular matrix - strongly equivalent matrices - totally nonnegative matrix - totally positive matrix - totally unimodular matrix - uniformly tapered matrix - vertex incidence matrix - vertically symmetrical matrix - weakly cyclic matrix -
15 model
1. модель; макет; образец; эталон/ модельный/ моделировать2. модель; вариант; типactuator modelactuator disk modeladvanced development modelaerodynamic modelaeroelastic modelaeroelastically scaled modelair combat modelairplane modelairplane-like modelapproach modelarrow-wing modelatmospheric modelautopilot modelautorotation modelautothrottle modelBaldwin-Lomax modelbasic modelbeam modelbeam/lumped mass modelbiomorphic modelblowing modelbody alone modelbreadboard modelcable-mounted modelcargo load modelCFD modelcombustion modelcombustion-flow modelcommand modelcompensatory modelcomposite modelcompressibility modified modelcomputer modelcone-cylinder modelcone-finned modelconical-flow modelconsistent modelconstant amplitude fatigue modelconstitutive modelcontinuous-mass modelcontinuum modelcontroller modelcorrelation modelcounter-rotation modelcrack modelcrack growth modelcrack growth retardation modelcrossover modelcumulative damage modeldamage accumulation modeldamper modeldatabase modeldeterministic modeldevelopment-type modeldifferential-game modeldiscrete modeldistributed lift modeldisturbance modeldowndraft modeldrop modelDryden modelDugdale modeldynamically scaled modeldynamics modelenergy-conservation modelengagement modelengine modelengineering development modelerror modelfailure modelfatigue modelfilament modelfine grid modelfinite element modelfixed-base modelfixed-wing modelflow modelflutter modelflutter-suppression modelfour-input/four-output modelfractional derivative modelfracture modelfree to roll modelfree-flight modelfree-flying modelfree-spinning modelfreely flying modelfrequency-domain modelfull modelfull-order modelfull-span modelfull-span wing modelgame modelgeneric modelgeometric modelgeometrically scaled modelgravity modelgravity anomaly modelgust modelhalf-plane modelhalf-wing modelhigh-fineness-ratio modelhuman operator modelidentified modelilluminated modelinfinite-blade modelinput modelinstrumented modelinverse modelisolated wing modelk-e modelk-W modelkinematic modelkinetic modellarge-scale modellead-lag pilot modellead-only pilot modellinear modellongitudinal modellower-order modellumped parameter modellumped-mass modelMach-scaled modelmagnetically suspended modelmass-and-spring modelmass-spring modelMaxwell modelmembrane and rod modelmeteorological modelmicromechanical modelMiner-Palmgren damage modelminimum phase modelmissile modelmodal modelmomentum-conserved modelmoving modelmultiaxis modelmultidegree of freedom modelmultiloop modelmultiscale modelneuromuscular modelobservation modelover-parameterized modelparabolized Navier-Stokes modelpendulation modelperformance modelperturbation modelphenomenological modelphysical modelpilot-aircraft modelpilot-vehicle modelpiston modelpitch modelpitch-plunge modelpitch-lateral-directional modelplant modelplastic modelpneumodynamic modelpowered modelpowered-lift modelprecision modelprediction modelpreview modelproduction modelproperly parameterized modelpropfan modelpropulsion modelpure gain pilot modelquantized modelquasi-static modelR&M modelradar modelradial spring modelradio control modelradio controlled modelreal-world modelreduced order modelreference modelreflectivity modelreingestion modelreplica modelreplica-type modelrocket-propelled modelroll modelrotor-body modelrotorcraft modelscale modelscaled modelscattering modelself-consistent modelsemiempirical modelsemispan modelsemispan wing modelsensitivity modelsimulation modelsingle-axis modelsingle-body modelsingle-rotation modelspectrum fatigue modelspray modelstall modelstate modelstate space modelstatistical modelstiffness modelstochastic modelstress modelstructural modelstudy modelsupersonic cruise modeltask modelterrain modelthin-jet modelthree-degree-of-a-freedom modelthree-state modelthrust modeltire modeltransfer-function modeltransparent modeltruth modeltunnel-supported modelturbulence modeltwin-body modeltwo layer turbulence modeltwo-control modeltwo-degrees-of-freedom modeltwo-equation turbulence modelunquantized modeluntuned modelusage modelV/STOL modelvaporization modelvehicle stability modelvertical dynamic modelvestibular modelviscous/inviscid modelvisual cueing modelwake modelwake/wing modelwater tunnel modelWheeler retardation modelwind-tunnel modelwindshear modelwing-canard modelwing-rotor modelwireframe modelyaw model -
16 non-negotiable FIATA multimodal transport way bill
необоротная накладная смешанной перевозки ФИАТА
FWB ФИАТА
Документ, который подтверждает наличие договора смешанной перевозки, принятие груза оператором смешанной перевозки, а также его обязательство доставить груз в соответствии с условиями договора. Данный документ может быть также подготовлен для перевозки только морским путем из порта в порт. Этот документ разработан ФИАТА с учетом Правил, касающихся документов смешанных перевозок ЮНКТАД/МТП, публикация № 481 МТП (ФИАТА)
[Упрощение процедур торговли: англо-русский глоссарий терминов (пересмотренное второе издание) НЬЮ-ЙОРК, ЖЕНЕВА, МОСКВА 2011 год]EN
non-negotiable FIATA multimodal transport way bill
Document which evidences a multimodal transport contract, the taking in charge of the goods by the multimodal transport operator, and an undertaking by him to deliver the goods in accordance with the terms of the contract. The document can also be issued for uni-modal sea transport from port to port. The document is issued by FIATA, subject to the UNCTAD/ICC Rules for Multimodal Transport Documents, ICC Publication No 481. (FIATA)
[Trade Facilitation Terms: An English - Russian Glossary (revised second edition) NEW YORK, GENEVA, MOSCOW 2613]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > non-negotiable FIATA multimodal transport way bill
-
17 negotiable fiata multimodal transport bill of lading
оборотный коносамент смешанной перевозки ФИАТА
( FBL ФИАТА)
Документ, который подтверждает наличие договора смешанной перевозки, принятие груза оператором смешанной перевозки, а также его обязательство доставить груз в соответствии с условиями договора. Данный документ может также выписываться для перевозки только морским путем из порта в порт. Этот документ разработан ФИАТА с учетом Правил, касающихся документов смешанных перевозок ЮНКТАД/ МТП, публикация № 481 МТП (ЕЭК ООН/ФАЛ)
[Упрощение процедур торговли: англо-русский глоссарий терминов (пересмотренное второе издание) НЬЮ-ЙОРК, ЖЕНЕВА, МОСКВА 2011 год]EN
negotiable FIATA multimodal transport bill of lading (FIATA- FBL)
Document which evidences a multimodal transport contract, the taking in charge of the goods by the multimodal transport operator and an undertaking by him to deliver the goods in accordance with the terms of the contract. The document can also be issued for uni-modal sea transport from port to port. The document is issued by FIATA, subject to the UNCTAD/ICC Rules for Multimodal Transport Documents, ICC Publication No 481 (FIATA)
[Trade Facilitation Terms: An English - Russian Glossary (revised second edition) NEW YORK, GENEVA, MOSCOW 2607]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > negotiable fiata multimodal transport bill of lading
См. также в других словарях:
Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… … Wikipedia
Modal depth — In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly and ). Modal formulas without modal operators have a modal depth of zero. Definition Modal depth can be defined as follows. Let MD(ϕ) be a function… … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Modal μ-calculus — In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… … Wikipedia
modal logic — Formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. The most straightforward way of constructing a modal logic is to add to some… … Universalium
Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields … Wikipedia
Window operator — In modal logic, the window operator riangle is a modal operator with the following semantic definition:M,wmodels rianglephi iff forall u, M,umodelsphiRightarrow Rwufor M=(W,R,f) a model and w,uin W. Informally, it says that w sees every phi;… … Wikipedia
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
Multi-Modal Transport System (Hyderabad) — Multi Modal Transport System Info Locale Hyderabad, India. Transit type Commuter rail … Wikipedia
Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium